]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 494e628) | patch
docs: Remove obsolete ShellRecorder include
authorFlorian Müllner <fmuellner@gnome.org>
Fri, 25 Sep 2020 16:24:09 +0000 (18:24 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Fri, 25 Sep 2020 16:37:22 +0000 (18:37 +0200)
commit84cff8920509f99be47c017bd8bdf8e45ea90535
treebb26cdc79eafd59c6b3768bace80c623f4bbc8e3tree | snapshot
parent494e628c389ec4a1737ea8347f241e6dd94d37e9commit | diff
docs: Remove obsolete ShellRecorder include

It joined the invisible choir, so trying to build with gtk-docs
enabled is currently broken (mea culpa for not having caught that
during distcheck).

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1448
docs/reference/shell/shell-docs.sgml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.